The Relevance of Irrelevance
نویسندگان
چکیده
This research describes the formalization of statements of the form fact f is irrelevant to fact g given theory M. We motivate the need for representing and reasoning wi th such statements in problem-solving systems, and outline the semantics and properties of statements about irrelevance. We then describe a logic irrelevance that serves as a language for specifying irrelevance claims in the world, and present an associated calculus that allows us to draw new irrelevance conclusions from given ones. The ut i l i ty of the formalization and the types of inferences it sanctions are demonstrated wi th examples from data interpretation, representation reformulation and experiment design.
منابع مشابه
English and Persian Undergraduate Students’ Perceptions of the Construct-(ir)Relevance of Language Proficiency in the Assessment of Literary Competence
Of the many dilemmas facing the assessment of literary competence, one is the extent to which language should constitute part of the target construct intended to be measured. Some argue for the construct-irrelevance of language and hence recommend that it be eliminated or minimized in favor of an exclusive focus on literary competence. In practice, this does not seem to be the case, as language...
متن کاملThe Relevance of Proof-Irrelevance A Meta-Theoretical Study of Generalised Calculi of Constructions
We propose a general technique, inspired from proof-irrelevance, to prove strong normalisation and consistency for extensions of the Calculus of Constructions.
متن کاملSpeeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms
Irrelevance reasoning refers to the process in which a system reasons about which parts of its knowledge are relevant (or irrelevant) to a speciic query. Aside from its importance in speeding up inferences from large knowledge bases, relevance reasoning is crucial in advanced applications such as modeling complex physical devices and information gathering in distributed heterogeneous systems. T...
متن کاملIndependence with Respect to Upper and Lower Conditional Probabilities Assigned by Hausdorff Outer and Inner Measures
In this paper the notion of s-irrelevance with respect to upper and lower conditional probabilities assigned by Hausdorff outer and inner measures is proved to be a sufficient condition for strong independence introduced for credal sets. An example is given to show that the converse is not true. Moreover the definition of sconditional irrelevance is given and a generalized factorization propert...
متن کاملConcentration Inequalities and Laws of Large Numbers under Epistemic Irrelevance
This paper presents concentration inequalities and laws of large numbers under weak assumptions of irrelevance, expressed through lower and upper expectations. The results are variants and extensions of De Cooman and Miranda’s recent inequalities and laws of large numbers. The proofs indicate connections between concepts of irrelevance for lower/upper expectations and the standard theory of mar...
متن کامل